Prolog/Database Parallel Programming: The '?-a(X),b(Y),c(X,Y)' Challenge
نویسندگان
چکیده
Two methods of multiple/large/foreign databases processing using massively parallel computers are described. The first method employs a Distributed Cache Subsystem (DCS) offering the total memory of parallel processing nodes as a very large read-only disk cache for other parallel processing nodes. The second method is based on a Database Slicing (DS) algorithm that provides logical partitioning of the entire database between the processing nodes. These methods were implemented using n-parallel PROLOG from Paralogic. Results of experiments on an nCUBE-2 parallel computer are presented.
منابع مشابه
Connections between C(X) and C(Y), where Y is a subspace of X
In this paper, we introduce a method by which we can find a close connection between the set of prime $z$-ideals of $C(X)$ and the same of $C(Y)$, for some special subset $Y$ of $X$. For instance, if $Y=Coz(f)$ for some $fin C(X)$, then there exists a one-to-one correspondence between the set of prime $z$-ideals of $C(Y)$ and the set of prime $z$-ideals of $C(X)$ not containing $f$. Moreover, c...
متن کاملIsomorphisms in unital $C^*$-algebras
It is shown that every almost linear bijection $h : Arightarrow B$ of a unital $C^*$-algebra $A$ onto a unital$C^*$-algebra $B$ is a $C^*$-algebra isomorphism when $h(3^n u y) = h(3^n u) h(y)$ for allunitaries $u in A$, all $y in A$, and all $nin mathbb Z$, andthat almost linear continuous bijection $h : A rightarrow B$ of aunital $C^*$-algebra $A$ of real rank zero onto a unital$C^*$-algebra...
متن کاملRelative n-th non-commuting graphs of finite groups
Suppose $n$ is a fixed positive integer. We introduce the relative n-th non-commuting graph $Gamma^{n} _{H,G}$, associated to the non-abelian subgroup $H$ of group $G$. The vertex set is $Gsetminus C^n_{H,G}$ in which $C^n_{H,G} = {xin G : [x,y^{n}]=1 mbox{~and~} [x^{n},y]=1mbox{~for~all~} yin H}$. Moreover, ${x,y}$ is an edge if $x$ or $y$ belong to $H$ and $xy^{n}eq y^{n}x$ or $x...
متن کاملOne-point extensions of locally compact paracompact spaces
A space $Y$ is called an {em extension} of a space $X$, if $Y$ contains $X$ as a dense subspace. Two extensions of $X$ are said to be {em equivalent}, if there is a homeomorphism between them which fixes $X$ point-wise. For two (equivalence classes of) extensions $Y$ and $Y'$ of $X$ let $Yleq Y'$, if there is a continuous function of $Y'$ into $Y$ which fixes $X$ point-wise. An extension $Y$ ...
متن کاملA COMMUTATIVITY CONDITION FOR RINGS
In this paper, we use the structure theory to prove an analog to a well-known theorem of Herstein as follows: Let R be a ring with center C such that for all x,y ? R either [x,y]= 0 or x-x [x,y]? C for some non negative integer n= n(x,y) dependingon x and y. Then R is commutative.
متن کامل